Hyppää hakukenttään
Hyppää sivun pääsisältöön
Hyppää saavutettavuusselosteeseen
Tiedejatutkimus.fi
Valikko
Suomeksi
På svenska
In English
Etusivu
Haku
Tiede- ja innovaatiopolitiikka
Tiede- ja tutkimusuutiset
Suomeksi
- 17367 hakutulosta
Julkaisut
17367
Rahoitushaut
0
Myönnetty rahoitus
0
Tutkijat
0
Aineistot
0
Infrastruktuurit
0
Organisaatiot
0
Hankkeet
0
Julkaisut -
17 367
hakutulosta
Hyppää hakutuloksiin
Näytä kuvana
Rajaa hakua
Näytetään tulokset 1 - 10 / 17367
10
50
100
tulosta / sivu
Mitä
julkaisu
tietoja palvelu sisältää?
Icon
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi
Julkaisujen tiedon ikoni
Simple is Better: Efficient Bounded
Model
Checking
for Past LTL
Vertaisarvioitu
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
SPRINGER
2005
Julkaisujen tiedon ikoni
Implementing LTL
Model
Checking
with Net Unfoldings
Vertaisarvioitu
Esparza, Javier; Heljanko, Keijo
SPRINGER
2001
Julkaisujen tiedon ikoni
Checking
Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing
Vertaisarvioitu
Dubrovin, Jori
SPRINGER
2010
Julkaisujen tiedon ikoni
Simple bounded LTL
model
checking
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
-
2004
Julkaisujen tiedon ikoni
Simple Bounded LTL
Model
Checking
Vertaisarvioitu
Latvala, Timo; Biere, Armin; Heljanko, Keijo; Junttila, Tommi
SPRINGER
2004
Julkaisujen tiedon ikoni
Model
Checking
Embedded Control Software
Frits, Juho
-
2010
Julkaisujen tiedon ikoni
Model
checking
PSL safety properties
Launiainen, Tuomas
-
2009
Julkaisujen tiedon ikoni
Fair testing and stubborn sets
Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-319-32582-8_16
Valmari, Antti;Vogler, Walter
Lecture Notes in Computer Science
2016
Julkaisujen tiedon ikoni
Efficient
Model
Checking
of Safety Properties
Vertaisarvioitu
Latvala, Timo
SPRINGER
2003
Julkaisujen tiedon ikoni
Hardware
Model
Checking
Competition 2017
DOI
10.23919/FMCAD.2017.8102233
Biere, Armin; van Dijk, Tom; Heljanko, Keijo
INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN
2017
Simple is Better: Efficient Bounded
Model
Checking
for Past LTL
Vertaisarvioitu
2005
Implementing LTL
Model
Checking
with Net Unfoldings
Vertaisarvioitu
2001
Checking
Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing
Vertaisarvioitu
2010
Simple bounded LTL
model
checking
2004
Simple Bounded LTL
Model
Checking
Vertaisarvioitu
2004
Model
Checking
Embedded Control Software
2010
Model
checking
PSL safety properties
2009
Fair testing and stubborn sets
Vertaisarvioitu
Avoin saatavuus
DOI
10.1007/978-3-319-32582-8_16
2016
Efficient
Model
Checking
of Safety Properties
Vertaisarvioitu
2003
Hardware
Model
Checking
Competition 2017
DOI
10.23919/FMCAD.2017.8102233
2017
Edellinen
1
2
3
4
5
Seuraava
Näytetään tulokset 1 - 10 / 17367
Sivu 1
Sort
